منابع مشابه
Constructing Strictly Positive Families
In order to represent, compute and reason with advanced data types one must go beyond the traditional treatment of data types as being inductive types and, instead, consider them as inductive families. Strictly positive types (SPTs) form a grammar for defining inductive types and, consequently, a fundamental question in the the theory of inductive families is what constitutes a corresponding gr...
متن کاملConstructing Families of Long Continued Fractions
This paper describes a method of constructing an unlimited number of infinite families of continued fraction expansions of the square root of D, an integer. The periods of these continued fractions all have identifiable sub patterns repeated a number of times according to certain parameters. For example, it is possible to construct an explicit family for the square root of D(k, l) where the per...
متن کاملConstructing Families of Pairing-Friendly Elliptic Curves
We present a general method for constructing families of elliptic curves with prescribed embedding degree and prime order. We demonstrate this method by constructing curves of embedding degree k = 10, a value which has not previously appeared in the literature, and we show that our method applies to existing constructions for k = 3, 4, 6, and 12. We give evidence that our method is unlikely to ...
متن کاملTitle: Constructing families and kinship through donor insemination
This paper presents some central findings of an exploratory qualitative study of New Zealand families with children conceived by donor insemination (DI). Drawing on social anthropological and sociological theorising about kinship and contemporary Western families, the paper explores the ways in which parents and their kin actively construct parent-child relationships and kin connections through...
متن کاملGeneric Programming for Dependent Types Constructing Strictly Positive Families
We begin by revisiting the idea of using a universe of types to write generic programs in a dependently typed setting by constructing a universe for Strictly Positive Types (SPTs). Here we extend this construction to cover dependent types, i.e. Strictly Positive Families (SPFs), thereby fixing a gap left open in previous work. Using the approach presented here we are able to represent all of Ep...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Family History
سال: 2015
ISSN: 0363-1990,1552-5473
DOI: 10.1177/0363199015602837